Maximal Ideal Transforms of Noetherian Rings

Strongly Noetherian rings and constructive ideal theory

We give a new constructive definition for Noetherian rings. It has a very concrete statement and is nevertheless strong enough to prove constructively the termination of algorithms involving “trees of ideals”. The efficiency of such algorithms (at least for providing clear and intuitive constructive proofs) is illustrated in a section about Lasker–Noether rings: we give constructive proofs for ...

Fully Bounded Noetherian Rings

Let i : A → R be a ring morphism, and χ : R → A a right R-linear map with χ(χ(r)s) = χ(rs) and χ(1 R) = 1 A. If R is a Frobenius A-ring, then we can define a trace map tr : A → A R. If there exists an element of trace 1 in A, then A is right FBN if and only if A R is right FBN and A is right noetherian. The result can be generalized to the case where R is an I-Frobenius A-ring. We recover resul...

On Nonnil-Noetherian Rings

Let R be a commutative ring with 1 such that Nil(R) is a divided prime ideal of R. The purpose of this paper is to introduce a new class of rings that is closely related to the class of Noetherian rings. A ring R is called a Nonnil-Noetherian ring if every nonnil ideal of R is finitely generated. We show that many of the properties of Noetherian rings are also true for Nonnil-Noetherian rings; ...

Rigid left Noetherian rings

Let R be an associative ring. A map σ : R → R is called a ring endomorphism if σ(x+y) = σ(x)+σ(y) and σ(xy) = σ(x)σ(y) for all elements a,b ∈ R. A ring R is said to be rigid if it has only the trivial ring endomorphisms, that is, identity idR and zero 0R . Rigid left Artinian rings were described by Maxson [9] and McLean [11]. Friger [4, 6] has constructed an example of a noncommutative rigid r...

Artinian and Noetherian Rings